منابع مشابه
Description of My Previous Work
Today, advanced technological products often employ information and communication technology to enhance their functionality and quality. Therefore, nowadays software plays an important role in the control of many technical systems such as electrical and mechanical devices, technical processes in the chemical industry, or a modern automobile. In the future, software-intensive systems are in addi...
متن کاملThemes in My Philosophical Work
This paper is an overview of my philosophical work. It follows closely the structure of the handout I used as the basis for a talk on this topic at the 2000 meeting of the Austro-Slovene Philosophical Association. The section-headings mention major themes, and various key concepts are indicated by boldface terms in the text. I invoked the notion of supervenience in my doctoral dissertation, Mic...
متن کاملMy Current Work on CertiKOS
My research goal is to make critical software systems truly reliable and secure through formal verification. As the backbone of modern software systems, operating system (OS) kernels have great impacts on the reliability and security of today’s computing hosts. OS kernels, however, are complicated, highly concurrent, and prone to bugs. For the past several years, my research has focused on inve...
متن کاملMy Joint Work with Richard Rado
I first became aware of Richard Rado's existence in 1933 when his important paper Studien zur Kombinatorik appeared. I thought a great deal about the many fascinating and deep unsolved problems stated in this paper but I never succeeded to obtain any significant results here and since I have to report here about our joint work I will mostly ignore these questions. Our joint work extends to more...
متن کاملHistory of my life and work
■ Born in Indonesia in 1930, as a small child I already exhibited an interest in animals, perhaps stimulated by my first conscious observation. When I was 3 or 4 years old our gardener unearthed a nest of young black snakes, then told me to leave. So at my 6th birthday my parents presented me with Huey’s book De dierenwereld in een notedop 1935. This book became my bible and determined my futur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Problemos
سال: 2020
ISSN: 2424-6158,1392-1126
DOI: 10.15388/problemos.priedas.20.1